Merge pull request #7978 from cshoredaniel/pr-python-pkgconfig
authorHannu Nyman <[email protected]>
Sat, 19 Jan 2019 09:49:12 +0000 (11:49 +0200)
committerGitHub <[email protected]>
Sat, 19 Jan 2019 09:49:12 +0000 (11:49 +0200)
python3: Add installation of pkconfig to InstallDev section.


Trivial merge